Rigorous development of component-based systems using component metadata and patterns
نویسندگان
چکیده
منابع مشابه
Using component metadata to regression test component-based software
Increasingly, modern-day software systems are being built by combining externally-developed software components with application-specific code. For such systems, existing program-analysis-based softwareengineering techniques may not directly apply, due to lack of information about components. To address this problem, the use of component metadata has been proposed. Component metadata are metada...
متن کاملScenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software system. In our approach, a test is defined as a formalized and executable description of a scenario. Tests are derived from use case scenarios via continuous refinement. The use case and test information can be assoc...
متن کاملRigorous Component-based System Design
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework ...
متن کاملComponent-based workflow systems development
Component-based development is a promising way to promote the productivity of large workflow systems development. This paper proposes a component-based workflow systems development approach by investigating the following notions, mechanisms, and methods: workflow component, workflow component composition, reuse–association relationship between workflow components, and workflow component reposit...
متن کاملIntegration in Component-Based Software Development Using Design Patterns
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of the challenges of component-based development is how to integrate various components in software systems. In this paper, an approach is presented to apply design patterns to component integration. This approach uses a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2016
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-016-0375-1